Inhalt des Dokuments

Lehre

Voraussichtliches Lehrangebot im Sommersemester 21/22

Freitag, 04. Februar 2022

Pflichtmodul im Bachelor:

• Formale Sprachen und Automaten (ForSA)

Wahlpflichtmodule im Bachelor/Master:

• Einführung in das interaktive Theorembeweisen (Blockangebot in der VL-freien Zeit)
• Algebraische Prozesskalküle

Je nach Kapazität, Coronalage, und auch Nachfrage im Master:

• MTV Seminar: WRaP
• MTV Project: RaW

Das finale Angebot wird auf 21/22 SoSe veröffentlicht werden. 

---